Formalizing UML Software Models of Safety Critical Systems
نویسندگان
چکیده
The Unified Modeling Language (UML) is the de facto standard for designing models of software systems in both industry and academia. UML has many advantages, and is often the tool of choice when conveying information between various stakeholders. UML’s main disadvantage is that it is too abstract – resulting in ambiguous models. In safety critical systems, ambiguity could result in the loss of property or be detrimental to life. With the continuous use of UML in the software industry, there is a need to amend the informality of software models produced. The objective of this research is to use formal specification to enhance the shortcomings of UML and analyze its significance to safety critical systems. The proposed approach is to design a UML class diagram of a safety critical system and remodel it using formal methods. From this process, an assessment can be made of the inherent benefits of formalizing models of safety critical systems.
منابع مشابه
Verification & Validation of Object-Oriented Functional Design using Formal Specification Techniques
UML is now an ISO standard used for graphically representing software systems. It possesses key advantages such as simplicity, intuitiveness and recently it has been considered as a semi-formal specification notation. However, UML falls short in the latter area because it utilizes loose semantics which leads to ambiguity among its models. In some cases ambiguity can be negligible, however in sa...
متن کاملComponent-based HazOp and Fault Tree Analysis in Developing Embedded Real-Time Systems with UML
Hazard and Operability (HazOp) and Fault Tree Analyses (FTA) are embedded into UML component models. The latter are constructed by employing UML's extension mechanisms in conjunction with component-based software techniques. Taking an application's safety-related requirements into consideration, the elements of HazOp and FTA are defined as component attributes, and assigned to a UML component m...
متن کاملCompositional Hazard Analysis of UML Component and Deployment Models
The general trend towards complex technical systems with embedded software results in an increasing demand for dependable high quality software. The UML as an advanced object-oriented technology provides in principle the essential concepts which are required to handle the increasing complexity of these safety-critical software systems. However, the current and forthcoming UML versions do not di...
متن کاملHAZOP Analysis of UML-Based Software Architecture Descriptions of Safety-Critical Systems
Safety-critical systems which are systems that may harm the environment they are operating in are commonplace. Standards and regulations for developing software for safety-critical systems usually require restricted programming languages and formal methods. For reasons of scale and for coping with the complexities of large systems it may be beneficial to use modern object-oriented techniques in...
متن کاملModel-Based Verification of Safety Contracts
The verification of safety becomes crucial in critical systems where human lives depend on the correct functioning of such systems. Formal methods have often been advocated as necessary to ensure the reliability of software systems, albeit with a considerable effort. In any case, such an effort is cost-effective when verifying safety-critical systems. Safety requirements are usually expressed u...
متن کامل